Project-Team Parkas
Members
Overall Objectives
Research Program
Presentation and originality of the PARKAS team
Highlights of the Year
New Software and Platforms
Cmmtest: a tool for hunting concurrency compiler bugs
GCC
Heptagon
Ott and Lem
Lucid Synchrone
Lucy-n
PPCG
ReactiveML
SundialsML
Zelus
isl
LaTeX package: Checklistings
New Results
Reasoning about C11 Program Transformations
Language design on top of JavaScript
Synchronous Functional Language with Integer Clocks
Fidelity in Real-Time Programming
Verified compilation of Lustre
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Publications of the year
References in notes
Inria
|
Raweb 2015
|
Presentation of the Project-Team PARKAS
|
PARKAS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Polly Labs initiative. Fully funded by ARM.
Previous |
Home
| Next